Howard Barringer: Z-library saytında axtarmaq

Bilik və mədəniyyətə sərbəst giriş.

Don't use scam websites

Kitablar (16)
Ən məşhurları
Siyahı
- Siyahı
- Cədvəl

1

Advances in Temporal Logic

Advances in Temporal Logic

Springer Netherlands

Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.)

İl:

2000

Dil:

english

Fayl:

PDF, 26.87 MB

0 / 0

english, 2000

2

Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989

Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989

Springer-Verlag New York

Howard Barringer, Dov Gabbay (auth.), Yiannis N. Moschovakis (eds.)

İl:

1992

Dil:

english

Fayl:

PDF, 14.72 MB

0 / 0

english, 1992

3

Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Springer-Verlag Berlin Heidelberg

Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)

İl:

2010

Dil:

english

Fayl:

PDF, 3.93 MB

0 / 0

english, 2010

4

Advances in temporal logic

Advances in temporal logic

Springer Netherlands

Iliano Cervesato, Massimo Franceschet, Angelo Montanari (auth.), Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.)

İl:

2000

Dil:

english

Fayl:

DJVU, 4.13 MB

0 / 0

english, 2000

5

Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Springer-Verlag Berlin Heidelberg

Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)

İl:

2010

Dil:

english

Fayl:

PDF, 5.00 MB

0 / 0

english, 2010

6

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

İl:

2010

Dil:

english

Fayl:

PDF, 6.93 MB

0 / 0

english, 2010

7

Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund (auth.), Sarfraz Khurshid, Koushik Sen (eds.)

İl:

2012

Dil:

english

Fayl:

PDF, 10.22 MB

0 / 0

english, 2012

8

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)

İl:

2009

Dil:

english

Fayl:

PDF, 2.74 MB

0 / 0

english, 2009

9

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)

İl:

2009

Dil:

english

Fayl:

PDF, 2.38 MB

0 / 0

english, 2009

10

Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Springer-Verlag Berlin Heidelberg

Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)

İl:

2010

Dil:

english

Fayl:

PDF, 4.01 MB

0 / 0

english, 2010

11

Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Joachim Baran, Howard Barringer (auth.), Daniel Leivant, Ruy de Queiroz (eds.)

İl:

2007

Dil:

english

Fayl:

PDF, 3.76 MB

0 / 0

english, 2007

12

A Survey of Verification Techniques for Parallel Programs

A Survey of Verification Techniques for Parallel Programs

Springer-Verlag Berlin Heidelberg

Howard Barringer (auth.)

İl:

1985

Dil:

english

Fayl:

DJVU, 781 KB

0 / 0

english, 1985

13

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

İl:

2010

Dil:

english

Fayl:

PDF, 6.78 MB

0 / 0

english, 2010

14

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

İl:

2010

Dil:

english

Fayl:

PDF, 6.98 MB

0 / 0

english, 2010

15

A Survey of Verification Techniques for Parallel Programs

A Survey of Verification Techniques for Parallel Programs

Springer-Verlag Berlin Heidelberg

Howard Barringer (auth.)

İl:

1985

Dil:

english

Fayl:

PDF, 1.44 MB

0 / 0

english, 1985

16

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)

İl:

2009

Dil:

english

Fayl:

PDF, 2.42 MB

0 / 0

english, 2009